$\forall$$a$:$\mathbb{Z}$, $n$:$\mathbb{N}^{+}$. ($a$ mod $n$) $\in$ $\mathbb{N}$